* texinfo.tex: Update from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Feb 2014 22:09:31 +0000 (14:09 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 12 Feb 2014 22:09:31 +0000 (14:09 -0800)
commit9e08dbc76b42cfbf5a5834f84a983cea26925101
treebb7987cb4be749edcc77d9ec1bd15aa2ebefc193
parent9866712e326754e6cdaa6ef05122340c54c4d352
* texinfo.tex: Update from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex